xend: Handle unspecified timer_mode domain platform parameter.
authorKeir Fraser <keir.fraser@citrix.com>
Fri, 18 Jan 2008 22:27:51 +0000 (22:27 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Fri, 18 Jan 2008 22:27:51 +0000 (22:27 +0000)
commit3e49205c7a0d947e5a9c37fabee4df1ae07d3135
tree3dca8667ec564a70774d8533cf5355d1b8714409
parent2039d19398063e0b6967734e1ffeaefa71659d7f
xend: Handle unspecified timer_mode domain platform parameter.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
tools/python/xen/xend/XendDomainInfo.py